Inline Evaluation of Hybrid Knowledge Bases Guohui Xiao Vienna PhD School of Informatics Institute of Information Systems Vienna University of Technology

Source URL: www.ghxiao.org

Reasoning about Schema Mappings ∗ Emanuel Sallinger Vienna University of Technology

Source URL: drops.dagstuhl.de

Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Numerical software
• BLAST model checker
• CPAchecker
• Solver
• Blast
• Formal methods
• Logic in computer science

Measuring with Timed Patterns Thomas Ferr`ere1 , Oded Maler1 , Dejan Niˇckovi´c2 , and Dogan Ulus1 1 VERIMAG, CNRS and the University of Grenoble-Alpes, France AIT Austrian Institute of Technology GmbH, Vienna, Austria

Source URL: www-verimag.imag.fr

MapFace – An Editor for MetaMap Transfer (MMTx) Katharina Kaiser, Theresia Gschwandtner, and Patrick Martini Vienna University of Technology Institute of Software Technology & Interactive Systems Favoritenstrasse 9-11/

Source URL: publik.tuwien.ac.at

Gender and Experience-Related Motivators for Contributing to OpenStreetMap Manuela Schmidt Vienna University of Technology Erzherzog-Johann-Platz 1

Source URL: publik.tuwien.ac.at

pdf2table: A Method to Extract Table Information from PDF Files Burcu Yildiz, Katharina Kaiser, and Silvia Miksch Institute of Software Technology & Interactive Systems Vienna University of Technology, Vienna, Austria {y

Source URL: ieg.ifs.tuwien.ac.at

Information about Travel and Accommodation for guests visiting: Department of Geodesy and Geoinformation (GEO), at the Vienna University of Technology (TU Wien)

Source URL: photo.geo.tuwien.ac.at

A Practical Approach for Generic Bootkit Detection and Prevention Bernhard Grill, Christian Platzer, Jürgen Eckel Vienna University of Technology, IKARUS Security Software GmbH

Source URL: www.syssec-project.eu

Imprint Publisher: Research Unit ORCOS, Institute of Statistics and Mathematical Methods in Economics Vienna University of Technology

Source URL: orcos.tuwien.ac.at